Axiom of Pair
집합론의 공리이다. 비정렬쌍 공리(Axiom of Unordered Pair)라고도 한다.
목차
1. 형식적 진술
2. 참고 문헌1. 형식적 진술 ✎
짝의 공리는 다음과 같이 진술된다.
\forall A \forall B \exists C\forall x[x\in C \Longleftrightarrow (x=A \vee x=B)]
2. 참고 문헌 ✎
- Hrbacek and Jech, 1999. Introduction to Set Theory, Third Edition, Revised and Expanded. CRC Press. ISBN 0824779150.
관련 문서
